Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Bring in Poseidon implementation under cdk_erigon feature flag #577

Merged
merged 3 commits into from
Sep 6, 2024

Conversation

Nashtare
Copy link
Collaborator

@Nashtare Nashtare commented Sep 1, 2024

Bring feature-gated Poseidon-related code from the type2_cancun branch.

Remaining follow-up work:

  1. Poseidon callsites in Kernel assembly
  2. Doc update with new table.
  3. Add some actual testing with cdk_erigon features of the whole e2e in the CI once it is complete

closes #560

@Nashtare Nashtare added this to the Type 2 - Q3 2024 milestone Sep 1, 2024
@Nashtare Nashtare requested a review from 4l0n50 September 1, 2024 15:07
@Nashtare Nashtare self-assigned this Sep 1, 2024
@github-actions github-actions bot added crate: evm_arithmetization Anything related to the evm_arithmetization crate. crate: zero_bin Anything related to the zero-bin subcrates. labels Sep 1, 2024
@Nashtare Nashtare force-pushed the feat/poseidon_in_develop branch from ba3942c to 26f2f8f Compare September 1, 2024 15:26
@github-actions github-actions bot added the crate: proof_gen Anything related to the proof_gen crate. label Sep 1, 2024
Co-authored-by: Linda Guiga <[email protected]>
Co-authored-by: Alonso Gonzalez <[email protected]>
@Nashtare Nashtare force-pushed the feat/poseidon_in_develop branch from 26f2f8f to 86d7488 Compare September 1, 2024 15:33
@Nashtare Nashtare changed the title Bring in Poseidon implementation into evm_arithmetization Bring in Poseidon implementation under cdk_erigon feature flag Sep 1, 2024
@atanmarko
Copy link
Member

Ok from the zero_bin side.

Copy link
Contributor

@LindaGuiga LindaGuiga left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM, thanks!

evm_arithmetization/src/cpu/cpu_stark.rs Show resolved Hide resolved
evm_arithmetization/src/cpu/cpu_stark.rs Show resolved Hide resolved
evm_arithmetization/src/cpu/cpu_stark.rs Show resolved Hide resolved
evm_arithmetization/src/poseidon/poseidon_stark.rs Outdated Show resolved Hide resolved
evm_arithmetization/src/poseidon/poseidon_stark.rs Outdated Show resolved Hide resolved
@Nashtare Nashtare requested a review from 0xaatif as a code owner September 5, 2024 12:25
@@ -64,7 +65,7 @@ parallel = [
"starky/parallel",
]
polygon_pos = []
cdk_erigon = []
cdk_erigon = ["smt_trie"]
Copy link
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

But what does the feature mean?

Copy link
Collaborator Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

That we're targeting a cdk-based network, i.e like the current type2 zkEVM from Polygon Hermez, with the difference that we're a true type 2 (they have a custom set of opcodes).
We called the feature that way because the reference implementation is cdk_erigon.

@Nashtare Nashtare merged commit 7db4fe8 into develop Sep 6, 2024
15 checks passed
@Nashtare Nashtare deleted the feat/poseidon_in_develop branch September 6, 2024 16:01
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
crate: evm_arithmetization Anything related to the evm_arithmetization crate. crate: proof_gen Anything related to the proof_gen crate. crate: zero_bin Anything related to the zero-bin subcrates.
Projects
Status: Done
Development

Successfully merging this pull request may close these issues.

type2: Migrate PoseidonStark and related privileged instructions to develop
4 participants